Skip to content

github actions: workaround for ondrej/php apt repository update error#2143

Merged
nodiscc merged 1 commit into
shaarli:masterfrom
nodiscc:fix-ci-php-update
Apr 29, 2025
Merged

github actions: workaround for ondrej/php apt repository update error#2143
nodiscc merged 1 commit into
shaarli:masterfrom
nodiscc:fix-ci-php-update

Conversation

@nodiscc

@nodiscc nodiscc commented Apr 28, 2025

Copy link
Copy Markdown
Member
E: Repository 'https://ppa.launchpadcontent.net/ondrej/php/ubuntu noble InRelease' changed its 'Label' value from '***** The main PPA for supported PHP versions with many PECL extensions *****' to 'PPA for PHP'

- E: Repository 'https://ppa.launchpadcontent.net/ondrej/php/ubuntu noble InRelease' changed its 'Label' value from '***** The main PPA for supported PHP versions with many PECL extensions *****' to 'PPA for PHP'
@nodiscc nodiscc added bug it's broken! tools developer tools labels Apr 28, 2025
@nodiscc nodiscc added this to the 0.14.1 milestone Apr 28, 2025
@nodiscc nodiscc self-assigned this Apr 28, 2025
@nodiscc nodiscc merged commit 570ba30 into shaarli:master Apr 29, 2025
@nodiscc nodiscc deleted the fix-ci-php-update branch April 29, 2025 21:27
@nodiscc nodiscc modified the milestones: 0.14.1, 0.15.0 Jun 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug it's broken! tools developer tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant